-
1 семантически формальный язык
Большой англо-русский и русско-английский словарь > семантически формальный язык
-
2 semantic-formal language
1) Математика: семантически формальный язык2) Вычислительная техника: формально-семантический языкУниверсальный англо-русский словарь > semantic-formal language
-
3 semantic-formal language
English-Russian scientific dictionary > semantic-formal language
См. также в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Языкознание — (языковедение, лингвистика) наука о естественном человеческом языке вообще и о всех языках мира как индивидуальных его представителях. Место языкознания среди других наук. Языкознание и социальные науки. Поскольку язык является важнейшим… … Лингвистический энциклопедический словарь
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Именной класс — Число родов или классов в отдельных языках Именной класс лексико грамматическая категория существительного, состоящая в распределении имён по группам (классам) в соответствии с некоторыми семантическими признаками при обязательном формальном… … Википедия
Именные классы — Число родов или классов в отдельных языках Именной класс лексико грамматическая категория существительного, состоящая в распределении имён по группам (классам) в соответствии с некоторыми семантическими признаками при обязательном формальном… … Википедия
Классы именные — Число родов или классов в отдельных языках Именной класс лексико грамматическая категория существительного, состоящая в распределении имён по группам (классам) в соответствии с некоторыми семантическими признаками при обязательном формальном… … Википедия
Морфология (лингвистика) — У этого термина существуют и другие значения, см. Морфология. … Википедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия